Looking into safety with the safety and security Rapporteur group

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Security and Safety Modelling

Project Partners: Intecs, Institute of Informatics and Telematics CNR, AKHELA, Università degli Studi di Roma La Sapienza, Technical University of Denmark, FTW Forschungszentrum Telekommunikation Wien, Adelard, UniControls, Czech Technical University in Prague, PSA Peugeot Citroën, SYSGO, ikv++ Technologies, eesy-id, Infineon Technologies AG Deutschland, EADS DEUTSCHLAND, Électricité de France,...

متن کامل

Agent Safety and Security

It's hard to imagine a software agent that could cause physical harm to anyone -it's only software, after all. But what if that software is controlling an electrical appliance, say a coffee maker? Could a control failure cause the coffee maker to overheat and start a fire? We hope not; the coffee maker should in any case have passed an Underwriters' Laboratory test to assure that it won't start...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGAda Ada Letters

سال: 1998

ISSN: 1094-3641

DOI: 10.1145/301687.289526